Assessment of the Quality of Safety Cases: A Research Preview

Proceedings of the 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019.[Context and motivation] Safety-critical systems in application domains such as aerospace, automotive, healthcare, and railway are subject to assurance processes to provide confidence that the systems do not pose undue risks to people, property, or the environment. The development of safety cases is usually part of these processes to justify that a system satisfies its safety requirements and thus is dependable. [Question/problem] Although safety cases have been used in industry for over two decades, their management still requires improvement. Important weaknesses have been identified and means to assess the quality of safety cases are limited. [Principal ideas/results] This paper presents a research preview on the assessment of the quality of safety cases. We explain how the area should develop and present our preliminary work towards enabling the assessment with Verification Studio, an industrial tool for system artefact quality analysis. [Contribution] The insights provided allow researchers and practitioners to gain an understanding of why safety case quality requires further investigation, what aspects must be considered, and how quality assessment could be performed in practice.The research leading to this paper has received funding from the AMASS project (H2020-ECSEL ID 692474; Spain’s MINECO ref. PCIN-2015-262). We also thank REFSQ reviewers for their valuable comments to improve the paper

Proposing to use artificial neural Networks for NoSQL attack detection

[EN] Relationships databases have enjoyed a certain boom in software worlds until now. These days, with the rise of modern applications, unstructured data production, traditional databases do not completely meet the needs of all systems. Regarding these issues, NOSQL databases have been developed and are a good alternative. But security aspects stay behind. Injection attacks are the most serious class of web attacks that are not taken seriously in NoSQL. This paper presents a Neural Network model approach for NoSQL injection. This method attempts to use the best and most effective features to identify an injection. The features used are divided into two categories, the first one based on the content of the request, and the second one independent of the request meta parameters. In order to detect attack payloads features, we work on character level analysis to obtain malicious rate of user inputs. The results demonstrate that our model has detected more attack payloads compare with models that work black list approach in keyword level

Non-specific binding of antibodies in immunohistochemistry: fallacies and facts

The current protocols for blocking background staining in immunohistochemistry are based on conflicting reports. Background staining is thought to occur as a result of either non-specific antibody (Ab) binding to endogenous Fc receptors (FcRs) or a combination of ionic and hydrophobic interactions. In this study, cell and tissue samples were processed according to routine protocols either with or without a blocking step (goat serum or BSA). Surprisingly, no Abs in samples processed without a blocking step showed any propensity for non-specific binding leading to background staining, implying that endogenous FcRs do not retain their ability to bind the Fc portion of Abs after standard fixation. Likewise, we did not find any non-specific Ab binding ascribable to either ionic or hydrophobic interactions. We determined that traditionally used protein blocking steps are unnecessary in the immunostaining of routinely fixed cell and tissue samples

Poor Regenerative Outcome after Skeletal Muscle Necrosis Induced by Bothrops asper Venom: Alterations in Microvasculature and Nerves

artículo (arbitrado) -- Universidad de Costa Rica, Instituto de Investigaciones Clodomiro Picado. 2011Background: Viperid snakebite envenoming is characterized by prominent local tissue damage, including muscle necrosis. A frequent outcome of such local pathology is deficient skeletal muscle regeneration, which causes muscle dysfunction, muscle loss and fibrosis, thus provoking permanent sequelae that greatly affect the quality of life of patients. The causes of such poor regenerative outcome of skeletal muscle after viperid snakebites are not fully understood. Methodology/Principal Findings: A murine model of muscle necrosis and regeneration was adapted to study the effects of the venom and isolated toxins of Bothrops asper, the medically most important snake in Central America. Gastrocnemius muscle was injected with either B. asper venom, a myotoxic phospholipase A2 (Mtx), a hemorrhagic metalloproteinase (SVMP), or saline solution. At various time intervals, during one month, tissue samples were collected and analyzed by histology, and by immunocytochemical and immunohistochemical techniques aimed at detecting muscle fibers, collagen, endothelial cells, myoblasts, myotubes, macrophages, TUNEL-positive nuclei, and axons. A successful regenerative response was observed in muscle injected with Mtx, which induces myonecrosis but does not affect the microvasculature. In contrast, poor regeneration, with fibrosis and atrophic fibers, occurred when muscle was injected with venom or SVMP, both of which provoke necrosis, microvascular damage leading to hemorrhage, and poor axonal regeneration. Conclusions/Significance: The deficient skeletal muscle regeneration after injection of B. asper venom is likely to depend on the widespread damage to the microvasculature, which affects the removal of necrotic debris by phagocytes, and the provision of nutrients and oxygen required for regeneration. In addition, deficient axonal regeneration is likely to contribute to the poor regenerative outcome in this model.This study was supported by NeTropica (grant 2-N-2008), by Vicerrectoría de Investigación, Universidad de Costa Rica (project 741-A7-604). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.UCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias de la Salud::Instituto Clodomiro Picado (ICP

Integrating transposable elements in the 3D genome

Chromosome organisation is increasingly recognised as an essential component of genome regulation, cell fate and cell health. Within the realm of transposable elements (TEs) however, the spatial information of how genomes are folded is still only rarely integrated in experimental studies or accounted for in modelling. Whilst polymer physics is recognised as an important tool to understand the mechanisms of genome folding, in this commentary we discuss its potential applicability to aspects of TE biology. Based on recent works on the relationship between genome organisation and TE integration, we argue that existing polymer models may be extended to create a predictive framework for the study of TE integration patterns. We suggest that these models may offer orthogonal and generic insights into the integration profiles (or "topography") of TEs across organisms. In addition, we provide simple polymer physics arguments and preliminary molecular dynamics simulations of TEs inserting into heterogeneously flexible polymers. By considering this simple model, we show how polymer folding and local flexibility may generically affect TE integration patterns. The preliminary discussion reported in this commentary is aimed to lay the foundations for a large-scale analysis of TE integration dynamics and topography as a function of the three-dimensional host genome

Age-Specific Differences in Oncogenic Pathway Deregulation Seen in Human Breast Tumors

Purpose. To define the biology driving the aggressive nature of breast cancer arising in young women. Experimental Design. Among 784 patients with early stage breast cancer, using prospectively-defined, age-specific cohorts (young ≤45 years; older ≥65 years), 411 eligible patients (n = 200≤545 years; n = 211≥65 years) with clinically-annotated Affymetrix microarray data were identified. GSEA, signatures of oncogenic pathway deregulation and predictors of chemotherapy sensitivity were evaluated within the two age-defined cohorts. Results. In comparing deregulation of oncogenic pathways between age groups, a higher probability of P13K (p = 0.006) and Myc (p = 0.03) pathway deregulation was observed in breast tumors arising in younger women. When evaluating unique patterns of pathway deregulation, a low probability of Src and E2F deregulation in tumors of younger women, concurrent with a higher probability of P13K, Myc, and β-catenin, conferred a worse prognosis (HR = 4.15). In contrast, a higher probability of Src and E2F pathway activation in tumors of older women, with concurrent low probability of P13K, Myc and β-catenin deregulation, was associated with poorer outcome (HR = 2.7). In multivariate analyses, genomic clusters of pathway deregulation illustrate prognostic value. Conclusion. Results demonstrate that breast cancer arising in young women represents a distinct biologic entity characterized by unique patterns of deregulated signaling pathways that are prognostic, independent of currently available clinico-pathologic variables. These results should enable refinement of targeted treatment strategies in this clinically challenging situation. Copyright

Over expression of Plk1 does not induce cell division in rat cardiac myocytes in vitro

BACKGROUND: Mammalian cardiac myocytes withdraw from the cell cycle during post-natal development, resulting in a non-proliferating, fully differentiated adult phenotype that is unable to repair damage to the myocardium, such as occurs following a myocardial infarction. We and others previously have shown that forced expression of certain cell cycle molecules in adult cardiac myocytes can promote cell cycle progression and division in these cells. The mitotic serine/threonine kinase, Polo-like kinase-1 (Plk1), is known to phosphorylate and activate a number of mitotic targets, including Cdc2/Cyclin B1, and to promote cell division. PRINCIPAL FINDINGS: The mammalian Plk family are all differentially regulated during the development of rat cardiac myocytes, with Plk1 showing the most dramatic decrease in both mRNA, protein and activity in the adult. We determined the potential of Plk1 to induce cell cycle progression and division in cultured rat cardiac myocytes. A persistent and progressive loss of Plk1 expression was observed during myocyte development that correlated with the withdrawal of adult rat cardiac myocytes from the cell cycle. Interestingly, when Plk1 was over-expressed in cardiac myocytes by adenovirus infection, it was not able to promote cell cycle progression, as determined by cell number and percent binucleation. CONCLUSIONS: We conclude that, in contrast to Cdc2/Cyclin B1 over-expression, the forced expression of Plk1 in adult cardiac myocytes is not sufficient to induce cell division and myocardial repair

Hypoxia increases the metastatic ability of breast cancer cells via upregulation of CXCR4

<p>Abstract</p> <p>Background</p> <p>Chemokine SDF1α and its unique receptor CXCR4 have been implicated in organ-specific metastases of many cancers including breast cancer. Hypoxia is a common feature of solid tumors and is associated with their malignant phenotype. We hypothesized that hypoxia would upregulate CXCR4 expression and lead to increased chemotactic responsiveness to its specific ligand SDF1α.</p> <p>Methods</p> <p>Three breast cancer cell lines MDA-MB-231, MCF7 and 4T1 were subjected to 48 hrs of hypoxia or normoxia. Cell surface receptor expression was evaluated using flow cytometry. An extracellular matrix invasion assay and microporous migration assay was used to assess chemotactic response and metastatic ability.</p> <p>Results</p> <p>CXCR4 surface expression was significantly increased in the two human breast cancer cell lines, MDA-MB-231 and MCF7, following exposure to hypoxia. This upregulation of CXCR4 cell surface expression corresponded to a significant increase in migration and invasion in response to SDF1-α <it>in vitro</it>. The increase in metastatic potential of both the normoxic and the hypoxic treated breast cancer cell lines was attenuated by neutralization of CXCR4 with a CXCR4 neutralizing mAb, MAB172 or a CXCR4 antagonist, AMD3100, showing the relationship between CXCR4 overexpression and increased chemotactic responsiveness.</p> <p>Conclusions</p> <p>CXCR4 expression can be modulated by the tissue microenvironment such as hypoxia. Upregulation of CXCR4 is associated with increased migratory and invasive potential and this effect can be abrogated by CXCR4 inhibition. Chemokine receptor CXCR4 is a potential therapeutic target in the adjuvant treatment of breast cancer.</p

Latest Miocene restriction of the Mediterranean Outflow Water:a perspective from the Gulf of Cádiz

The Mediterranean-Atlantic water mass exchange provides the ideal setting for deciphering the role of gateway evolution in ocean circulation. However, the dynamics of Mediterranean Outflow Water (MOW) during the closure of the Late Miocene Mediterranean-Atlantic gateways are poorly understood. Here, we define the sedimentary evolution of Neogene basins from the Gulf of Cádiz to the West Iberian margin to investigate MOW circulation during the latest Miocene. Seismic interpretation highlights a middle to upper Messinian seismic unit of transparent facies, whose base predates the onset of the Messinian salinity crisis (MSC). Its facies and distribution imply a predominantly hemipelagic environment along the Atlantic margins, suggesting an absence or intermittence of MOW preceding evaporite precipitation in the Mediterranean, simultaneous to progressive gateway restriction. The removal of MOW from the Mediterranean-Atlantic water mass exchange reorganized the Atlantic water masses and is correlated to a severe weakening of the Atlantic Meridional Overturning Circulation (AMOC) and a period of further cooling in the North Atlantic during the latest Miocene

Up-regulated expression of LAMP2 and autophagy activity during neuroendocrine differentiation of prostate cancer LNCaP cells

Neuroendocrine (NE) prostate cancer (PCa) is a highly aggressive subtype of prostate cancer associated with resistance to androgen ablation therapy. In this study, we used LNCaP prostate cancer cells cultured in a serum-free medium for 6 days as a NE model of prostate cancer. Serum deprivation increased the expression of NE markers such as neuron-specific enolase (NSE) and βIII tubulin (βIII tub) and decreased the expression of the androgen receptor protein in LNCaP cells. Using cDNA microarrays, we compared gene expression profiles of NE cells and non-differentiated LNCaP cells. We identified up-regulation of 155 genes, among them LAMP2, a lysosomal membrane protein involved in lysosomal stability and autophagy. We then confirmed up-regulation of LAMP2 in NE cells by qRT-PCR, Western blot and confocal microscopy assays, showing that mRNA up-regulation correlated with increased levels of LAMP2 protein. Subsequently, we determined autophagy activity in NE cells by assessing the protein levels of SQSTM/p62 and LC3 by Western blot and LC3 and Atg5 mRNAs content by qRT-PCR. The decreased levels of SQSTM/p62 was accompanied by an enhanced expression of LC3 and ATG5, suggesting activation of autophagy in NE cells. Blockage of autophagy with 1μM AKT inhibitor IV, or by silencing Beclin 1 and Atg5, prevented NE cell differentiation, as revealed by decreased levels of the NE markers. In addition, AKT inhibitor IV as well as Beclin1 and Atg5 kwockdown attenuated LAMP2 expression in NE cells. On the other hand, LAMP2 knockdown by siRNA led to a marked blockage of autophagy, prevention of NE differentiation and decrease of cell survival. Taken together, these results suggest that LAMP2 overexpression assists NE differentiation of LNCaP cells induced by serum deprivation and facilitates autophagy activity in order to attain the NE phenotype and cell survival. LAMP2 could thus be a potential biomarker and potential target for NE prostate cancer